#ifndef _HALGLOBAL_H_
#define _HALGLOBAL_H_

#include <halglobal_t.h>
#include <halmach_t.h>
#include <halmem_t.h>
#include <krlintrpt_t.h>
#include <infommu.h>
#include <infointrpt.h>

#ifdef HALGLOBAL_HEAD  /* 对于包含本头文件的halglobal.c文件来说，EXTERN是空的 */
#undef EXTERN
#define EXTERN
#endif

HAL_DEFGLOBAL_VARIABLE (mach_t, osmachine);
HAL_DEFGLOBAL_VARIABLE (phymem_t, osphymem);
HAL_DEFGLOBAL_VARIABLE (phyaddrspce_t, osmachineaddrspace)[PLFM_ADDRSPACE_NBR];
HAL_DEFGLOBAL_VARIABLE (intsrcdsc_t, osintsrcdsc)[IRQ_SRC_MAX];

#endif